TAGs: real number interval notation